From ac725b5c5f515ca4bbf074ef2859990814d806da Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Thu, 22 Mar 2018 20:08:17 +0530
Subject: [PATCH] _local-jquery

Gbp-Pq: Name 2003_local-jquery.patch
---
 src/doc/html-headers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/html-headers.html b/src/doc/html-headers.html
index 80ad896f3..c3bdc1bad 100644
--- a/src/doc/html-headers.html
+++ b/src/doc/html-headers.html
@@ -1,2 +1,2 @@
-<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
+<script src="jquery.js"></script>
 <link rel="icon" type="image/x-icon" href="favicon.ico">
-- 
2.30.2